Search Results
"SMTCoq: A plug-in for integrating SMT solvers into Coq" Alain Mebsout | CAV 2017
Chantal Keller: SMTCoq: Coq Automation and its Application to Formal Mathematics
A Modular Integration of SAT/SMT Solvers to Coq through Proof Witnesses
GReTA-ExACT session #1: "SMTCoq: the power of SMT solving in Coq"
SMTCoq: Safe and Efficient Automation in Coq
"Automated Resource Analysis with Coq Proof Objects" Quentin Carbonneaux | CAV 2017
"The Power of Symbolic Automata and Transducers" Loris D’Antoni | CAV 2017
Meryem Mebsout - Collaboratrice Intelcia
